ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
91	ERCIMSmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Yoann Padioleau a , Julia L. Lawall b and Gilles Muller a Add to Reading List Source URL: coccinelle.lip6.fr Language: English - Date: 2012-01-04 11:08:48 C System calls Data types Stat Struct Typedef USB mass storage device class C++ classes SCSI ALGOL 68 Device driver Select
92	Deriving Generic Functions by Example Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type
93	Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Type theory Procedural programming languages Data types Type systems Lambda calculus Eval Type inference ALGOL 68 Let expression Standard ML
94	Science Course Pathways for Middle and High School On April 27th, 2015, a work group of science teachers, higher education representatives, administrators and instructional leaders gathered to create recommended model co Add to Reading List Source URL: www.doe.sd.gov Language: English - Date: 2015-08-06 16:54:55 ALGOL 68 European Research Council Resident Evil Physics
95	Paving the Way for NFV: Simplifying Middlebox Modifications using StateAlyzr Junaid Khalid, Aaron Gember-Jacobson, Roney Michael, Anubhavnidhi Abhashkumar, Aditya Akella University of Wisconsin-Madison Abstract Add to Reading List Source URL: opennf.cs.wisc.edu Language: English - Date: 2016-02-29 22:59:54 Computer network security Middlebox Data-flow analysis Scope Transmission Control Protocol Robust random early detection ALGOL 68 Subroutine Parameter Algorithm
96	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:10 Computing Software engineering Programming language theory Parallel computing ALGOL 68 Schedule
97	INTRODUCTION TO PL/1 PL/I is a structured language to develop systems and applications programs (both business and scientific). Significant features : v Allows Add to Reading List Source URL: www.angelfire.com Language: English - Date: 2004-12-17 03:44:25 Software engineering Computer programming Computing Procedural programming languages PL/I Subroutine MAD C ALGOL 68 Hexadecimal Binary file PL/SQL
98	BS-Entwicklung mit Literate Programming Foliensatz 9: Prozesse Hans-Georg Eßer TH Nürnberg Add to Reading List Source URL: ohm.hgesser.de Language: English - Date: 2014-11-25 05:18:43 C++ Software engineering C Computer programming Computing C dynamic memory allocation Pointer Typedef Constant C++ classes Write ALGOL 68
99	Abstraction-Guided Synthesis Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-02 05:01:56 Software engineering Programming language theory Procedural programming languages Computer programming ALGOL 68
100	Peeking into the Optimization of Data Flow Programs with MapReduce-style UDFs Fabian Hueske, Mathias Peters, Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 ALGOL 68 Pipeline Southwest Michigan Regional Airport

UPDATE